Termination of the given ITRSProblem could not be shown:
↳ ITRS
ITRS problem:
The following domains are used:
z
The TRS R consists of the following rules:
f(TRUE, x) → ft(TRUE, x, y)
ft(TRUE, x, y) → ft(>=@z(y, x), +@z(x, 1@z), y)
The set Q consists of the following terms:
f(TRUE, x0)
ft(TRUE, x0, x1)